|
|
|
|---|---|
| This rule checks that sequence messages are correctly ordered between scenarios from different levels. | |
|
|
|---|---|
| This rule checks that sequence messages are linked by refinement traceability between scenarios from different levels. | |
|
|
|
|---|---|
| This rule checks that Scenario element is realized by below layer. Example: If Scenario resides in SystemAnalysis layer. It should be relalized by a Scenario from Logical layer. | |